Категория множеств по Бэру - множество, которое можно представить в виде счётного объединения нигде не плотных в множеств.